import java.util.*;
public interface ModelChangedListener extends java.util.EventListener { 
   void modelChanged(EventObject e); 
} 